INCONSISTENCY–ADAPTIVE MODAL LOGICS On How to Cope with Modal Inconsistency
نویسنده
چکیده
In this paper, I will characterize a new class of inconsistency–adaptive logics, namely inconsistency–adaptive modal logics. These logics cope with inconsistencies in a modal context. More specifically, when faced with inconsistencies, inconsistency–adaptive modal logics avoid explosion, but still allow the derivation of sufficient consequences to adequately explicate the intended part of human reasoning.
منابع مشابه
Models for anodic and cathodic multimodalities
A system is classified as multimodal if its language has more than one modal operator as primitive, and such operators are not interdefinable. We extend the anodic and cathodic modal systems, introduced in [BS09a] and [BS10], to a class of the so-called basilar multimodal systems generating, in this way, the classes of anodic and cathodic multimodal logics. The cathodic multimodal systems are d...
متن کاملWhen some premises are more premise than others, the consequences are the real premises
This paper proposes two adaptive approaches to inconsistent prioritized belief bases. Both approaches rely on a selection mechanism that is not applied to the premises as they stand, but to the consequence sets of the belief levels. One is based on classical compatibility, the other on the modal logic T of Feys. For both approaches the two main strategies of inconsistency adaptive logics are fo...
متن کاملAll Premises Are Equal, but Some Are More Equal than Others
This paper proposes two adaptive approaches to inconsistent prioritized belief bases. Both approaches rely on a selection mechanism, that is not applied to the premises as they stand, but to the consequence sets of the belief levels. One is based on classical compatibility, the other on the modal logic T of Feys. For both approaches the two main strategies of inconsistency adaptive logics are f...
متن کاملQuasi-Classical Semantics for Expressive Description Logics
Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we first present the quasi-classical semantics for description logic SHIQ, which is based on quasi-classical logic. We show that this semantics can be used to deal with inconsistency and that it is reduced to the standard semantics when there...
متن کاملA comparison between modal damping ratios identified by NExT-ERA and frequency domain impact test
In this research, the modal parameters of a beam in free-free condition are extracted by performing different experiments in laboratory. For this purpose, two different techniques are employed. The first methodology is considered as a time domain method in Operational Modal Analysis. While the other one is frequency domain impact hammer test which is categorized as an Experimental Modal Analysi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008